منابع مشابه
Algebraic Valuations as Behavioral Logical Matrices
The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, namely encompassing many-sorted languages and non-truth-functionality. However, where a logician adopting the traditional approach to algebraic logic finds in the notion of a logical matrix the most natural semantic companion, a...
متن کاملComments on Predicative Logic
The syntax of intuitionistic propositional second-order logic PSOLi consists of a set of propositional constants P , Q, R, etc, a denumerable set of propositional variables F , G, H, etc, together with the primitive logical signs of the conditional and the universal propositional quantifier, and ponctuation signs (parenthesis). The formulas of PSOLi are the smallest class of expressions of the ...
متن کاملPredicative Algebraic Set Theory
In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown...
متن کاملQuantum Predicative Programming
The subject of this work is quantum predicative programming — the development of programs intended for execution on a quantum computer. We look at programming in the context of formal methods of program development, or programming methodology. Our work is based on probabilistic predicative programming, a recent generalisation of the well-established predicative programming. It supports the styl...
متن کاملThe predicative Frege hierarchy
In this paper, we characterize the strength of the predicative Frege hierarchy, PV, introduced by John Burgess in his book [Bur05]. We show that PV and Q + con(Q) are mutually interpretable. It follows that PV := PV is mutually interpretable with Q. This fact was proved earlier by Mihai Ganea in [Gan06] using a different proof. Another consequence of the our main result is that PV is mutually i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Researches in Mathematics and Mechanics
سال: 2019
ISSN: 2519-206X
DOI: 10.18524/2519-206x.2019.2(34).190052